Filter-Laver measurability
نویسندگان
چکیده
منابع مشابه
Laver and set theory
Richard Joseph Laver (20 October 1942 – 19 September 2012) was a set theorist of remarkable breadth and depth, and his tragic death from Parkinson’s disease a month shy of his 70th birthday occasions a commemorative and celebratory account of his mathematical work, work of an individual stamp having considerable significance, worth, and impact. Laver established substantial results over a broad...
متن کاملHechler and Laver Trees
A Laver tree is a tree in which each node splits infinitely often. A Hechler tree is a tree in which each node splits cofinitely often. We show that every analytic set is either disjoint from the branches of a Heckler tree or contains the branches of a Laver tree. As a corollary we deduce Silver Theorem that all analytic sets are Ramsey. We show that in Godel’s constructible universe that our r...
متن کاملMeasurability and Computability
The conceptual relation between the measurability of quantum mechanical observables and the computability of numerical functions is re-examined. A new formulation is given for the notion of measurability with finite precision in order to reconcile the conflict alleged by M. A. Nielsen [Phys. Rev. Lett. 79, 2915 (1997)] that the measurability of a certain observable contradicts the Church-Turing...
متن کاملAcfa and Measurability
We show that definable sets of finite S1-rank in algebraically closed fields with an automorphism can be measured.
متن کاملMeasurability in modules
In this paper we prove that in modules, MS-measurability (in the sense of Macpherson-Steinhorn) depends on being able to define a measure function on the p.p. definable subgroups. We give a classification of abelian groups in terms of measurability. Finally we discuss the relation with Q[t]-valued measures.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Topology and its Applications
سال: 2017
ISSN: 0166-8641
DOI: 10.1016/j.topol.2017.06.004